<?hh

/*
   +-------------------------------------------------------------+
   | Copyright (c) 2014 Facebook, Inc. (http://www.facebook.com) |
   +-------------------------------------------------------------+
*/

abstract class Aircraft extends Vehicle 
{
	public abstract function getMaxAltitude();
	// ...
}
